1. Axiomatising the Logic of Computer Programming

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer Science,Computer science.,Logic design.

2. Lectures on the hyperreals : an introduction to nonstandard analysis

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Nonstandard mathematical analysis

رده :
QA
299
.
82
.
G65

3. Lectures on the hyperreals: an introduction to nonstandard analysis

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Nonstandard mathematical analysis

رده :
QA
299
.
82
.
G65
1998

4. Logics of time and computation

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Modality )Logic(

رده :
P
25
.
C28
No
.
7

5. Mathematics of modality

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Modality (Logic) ;

6. Mathematics of modality

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Modality (Logic)

رده :
QA9
.
46
.
G66
1993

7. Mathematics of modality

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Modality (Logic)

رده :
QA9
.
46
.
G66
1993

8. Mathematics of modality

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Modality (Logic)

رده :
E-BOOK

9. Orthogonality and spacetime geometry

پدیدآورنده :

موضوع : ، Geometry, Affine,، Space and time,، Functions, Orthogonal

۳ نسخه از این کتاب در ۲ کتابخانه موجود است.

10. Orthogonality and spacetime geometry

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Geometry, Affine,، Space and time,، Functions, Orthogonal

رده :
QA
477
.
G65
1987

11. Orthogonality and spacetime geometry

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Geometry, Affine,، Space and time,، Functions, Orthogonal

رده :
QA
477
.
G65

12. Topoi

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Toposes

رده :
QA169
.
G64
1983

13. Topoi : The categorial analysis of logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Toposes

رده :
QA
169
.
G64
1983

14. Topoi, the categorial analysis of logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Toposes

رده :
QA
169
.
G64
1984

15. Topoi, the categorial analysis of logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Toposes

رده :
QA169
.
G64
1983